$\forall$$T$:Type, ${\it op}$:($T$$\rightarrow$$T$$\rightarrow$$T$). SqStable(Assoc($T$;${\it op}$))